str = require( "string")
jk = require( "jlink" )


jk.Halt()
r0 = jk.ReadReg( 0 )
pc = jk.ReadReg( 9 )
cpsr = jk.ReadReg( 8 )

cc = str.format( "[0]=%x, [pc]=%x, [cpsr]=%x", r0, pc, cpsr )
print( cc )

